121. Fundamentals of Algebraic Specification 2 :
المؤلف: by Hartmut Ehrig, Bernd Mahr.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
L63
B943
1990
122. Fundamentals of computation theory : Proceedings of the 1977 International FCT-Conference Poznan-Kornik, Doland, September 19-23, 1977
المؤلف: / edited by Marek Karpinski
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Recursion theory - Congresse,Computational complexity - Congresses,Machine theory - Congresses
رده :
QA267
.
I57
1977
123. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
المؤلف: edited by Marek Karpinski
المکتبة: (طهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977
124. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
المؤلف: edited by Marek Karpinski
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
125. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
المؤلف: edited by Marek Karpinski
المکتبة: (طهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
126. Fundamentals of generalized recursion theory
المؤلف: Fitting, Melvin, 2491-
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
127. Fundamentals of generalized recursion theory
المؤلف: Fitting, Melvin
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
128. Fundamentals of mathematical logic /
المؤلف: Peter G. Hinman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
129. Funtional Programming Languages in Education :
المؤلف: edited by Pieter H. Hartel, Rinus Plasmeijer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
130. General recursion theory
المؤلف: Fenstad, Jens Erik
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F46
1980
131. General recursion theory : an axiomatic approach
المؤلف: Fenstad, Jens Erik.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F46
132. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
133. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
المؤلف: / edited by J. E. Fenstad and P. G. Hinman
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Recursive functions
رده :
515
.
25
S989
1972
134. Geometric and Algebraic Structures in Differential Equations
المؤلف: edited by P. H. M. Kersten, I. S. Krasil'Shchik.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Differential Equations.,Geometry, Algebraic.,Geometry.,Mathematics.
135. Graphs and Order
المؤلف: edited by Ivan Rival.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Mathematics.
136. Guide to discrete mathematics :
المؤلف: Gerard O'Regan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
137. Handbook of mathematical logic. tics; ed. by barwise, jon.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
رده :
QA9
.
H32
1977
138. Higher recursion theory
المؤلف: / Gerald E. Sacks
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Recursion theory.
رده :
QA
,
9
.
6
,.
S23
,
1990
139. Higher recursion theory
المؤلف: Sacks, Gerald E.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
140. Higher recursion theory
المؤلف: Sacks, Gerald E.
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
